En lógica proposicional, la simplificaciónCopi and CohenMoore y ParkerHurley (equivale a la sustitución de una conjunción por uno de sus componentes) es una inferencia inmediata válida, forma de argumento y regla de inferencia que hace que la inferencia de que, si la conjunción A y B es cierta, entonces A es verdad (o bien "B también es verdad", otra conclusión). La regla permite acortar las pruebas más largas mediante la derivación de una de las conjunciones de una conjunción en una línea por sí misma.